LiFR: A Lightweight Fuzzy DL Reasoner
نویسندگان
چکیده
In this paper we present LiFR, a lightweight DL reasoner capable of performing in resource-constrained devices, that implements a fuzzy extension of Description Logic Programs. Preliminary evaluation against two existing fuzzy DL reasoners and within a real-world use case has shown promising results.
منابع مشابه
Employing DL-LiteR-Reasoners for Fuzzy Query Answering
Fuzzy Description Logics generalize crisp ones by providing membership degree semantics for concepts and roles by fuzzy sets. Recently, answering of conjunctive queries has been investigated and implemented in optimized reasoner systems based on the rewriting approach for crisp DLs. In this paper we investigate how to employ such existing implementations for crisp query answering in DL-LiteR ov...
متن کاملModular Combination of Reasoners for Ontology Classification
Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of SROIQ ontologies. Existing reasoners, however, do not exploit the fact that most of the axioms in many realistic SROIQ ontologies are expressed in some lightweight DL, such as EL. In this paper, we propose a novel reasoning technique that all...
متن کاملA pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite
Fuzzy Description Logics (FDLs) generalize crisp ones by providing membership degree semantics. To offer efficient query answering for FDLs it is desirable to extend the rewriting-based approach for DL-Lite to its fuzzy variants. For answering conjunctive queries over fuzzy DL-LiteR ontologies we present an approach, that employs the crisp rewriting as a black-box procedure and treats the degre...
متن کاملFuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of this implementation is the ability to reason over assertions with abstract (unspecified) fuzzy degrees. The answer to queries is, consequently, an algebraic expression involving the (unknown) fuzzy degrees and the degree...
متن کاملRanking Services Using Fuzzy HEXPrograms
The need to reason with knowledge expressed in both Logic Programming (LP) and Description Logics (DLs) paradigms on the Semantic Web lead to several integrating formalisms, e.g., Description Logic programs (dl-programs) allow a logic program to retrieve results from and feed results to a DL knowledge base. Two functional extensions of dl-programs are HEX programs and fuzzy dl-programs. The for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014